1. Automata, languages and programming :
پدیدآورنده : ICALP 93. A. Lingas ... (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Lund <1993>,Theoretische Informatik.
2. Model theory of algebra and arithmetic: proceedings of the conference on ... held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J Wierzejewski, and A. J. Wilkie
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Algebraic logic,، Groups, Theory of,، Set theory
رده :
QA
3
.
L28
no
.
834
